W. Craig; "On Axiomatizability Within a System"
著者
William Craigによる．
モチベーション
Craigのトリックが提案された？